tree\_con($E$;$T$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$E$+$T$$\times$$T$